PosetSig\{i\} $\subseteq$ PosetSig\{[i $\mid$ j]\}